361. Simple program schemes and formal languages
Author: Engelfriet, Joost.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Formal languages,، Programming )Electronic computers(
Classification :
QA
267
.
3
.
E53
362. Simple program schemes and formal languages
Author: Engelfriet, Joost
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Formal languages,، Programming )Electronic computers(
Classification :
QA
267
.
3
.
E53
363. Software Engineering and Formal Methods
Author: \ Radu Calinescu , Bernhard Rumpe (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering,Mathematical Logic and Formal Languages.,Software engineering -- Congresses.,مهندسی نرم افزار ,نرمافزار -- مهندسی-- کنگرهها
Classification :
QA
76
.
758
.
S62
2015
E-Book
,
364. Symposium on Semantics of Algorithmic Languages
Author: edited by E. Engeler
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Algorithms
Classification :
QA
3
.
L28
Vol
.
188
365. Symposium on real-time and hybrid systems :
Author: Cliff Jones, Ji Wang, Naijun Zhan (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science),Software engineering.,Artificial Intelligence.,Programming Languages, Compilers, Interpreters.,Software Engineering.,System Performance and Evaluation.,Theory of Computation.,Artificial intelligence.,Computer science.,Computers-- Computer Science.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Programming & scripting languages: general.,Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
758
366. Symposium on semantics of algorithmic languages
Author: edited by E. Engeler
Library: Library of College of Science University of Tehran (Tehran)
Subject: Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Computer algorithms
Classification :
QA
76
.
7
.
S9
1971
367. Symposium on semantics of algorithmic languages
Author: edited by E. Engeler
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Programming languages )Electronic computers( - Semantics,Congresses ، Formal languages,Congresses ، Computer algorithms
Classification :
QA
1
.
L4
v
.
188
368. Symposium on semantics of algorithmic languages
Author: edited by E.Engeler
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Algorithms
Classification :
QA
3
.
L28
no
.
188
369. Syntactic pattern recognition
Author: / Rafael C. Gonzalez, Michael G. Thomason
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Pattern perception,Formal languages,Machine theory
Classification :
Q
327
.
G65
370. Syntactic pattern recognition: an introduction
Author: Gonzalez, Rafael C.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Pattern perception,، Formal languages,، Autoata
Classification :
Q
327
.
G65
371. Syntactic pattern recognition:an introduction
Author: GONZALEZ,RAFAEL C
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: PATTERN PERCEPTION , FORMAL LANGUAGES , ROBOTS
Classification :
Q
327
.
G65
372. System specification and design languages
Author: Tom J. Kaźmierski, Adam Morawiec, editors
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer hardware description languages, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses,Integrated circuits-- Very large scale integration-- Design and construction, Congresses,Software architecture, Congresses,Software engineering, Congresses
Classification :
TK7885
.
7
.
F35
2010eb
373. Term graph rewriting: theory and practice
Author: edited by M.R. Sleep and M.J. Plasmeijer and M.C.J.D. van Eekelen
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Formal languages,، Graph theory,، Rewriting systems )Computer science(
Classification :
QA
267
.
3
.
T47
1993
374. The concept of fuzziness in automata and language theory
Author: Wechler, Wolfgang.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Machine theory,، Formal languages,، Set theory
Classification :
QA
267
.
W43
375. The language of machines :
Author: Robert W. Floyd, Richard Beigel.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computable functions.,Formal languages.,Machine theory.,Berechenbarkeit,Computabilidade e modelos de computacao.,Computable functions.,Formal languages.,Formale Sprache,Formale Sprache.,Machine theory.,Maschinensprache,Maschinensprache.,Theoretische Informatik
Classification :
QA267
.
3
.
F56
1994
376. The mathematical theory of L systems
Author: Rozenberg, Grzegorz.
Library: Central Library and Documentation Center (Kerman)
Subject: ، L systems,، Formal languages
Classification :
QA
3
.
P8
v
.
90
377. The mathematical theory of L systems
Author: Rozenberg, Grzegorz, 2491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، L systems,، Formal languages
Classification :
QA
267
.
3
.
R69
378. The mathematical theory of context free languages
Author: Ginsburg, Seymour
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Formal languages,، Sequential machine theory
Classification :
QA
267
.
5
.
S4
G5
379. The mathematical theory of context free languages
Author: Ginsburg, Seymour, 7291-
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Formal languages,، Sequential machine theory
Classification :
QA
267
.
5
.
S4G5
380. The oretical computer science
Author: Editor Alfredo Desantis,Title
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Machine theory-Congresses,Formal Languages-Congresses
Classification :
QA
.
I8T47
267
1995
